{ }
// ----
// step: fullSimplify
//
// { { } }
